digraph G {
  0[label="0"];
  1[label="1"];
  2[label="2"];
  3[label="3"];
  0 -> 1;
  0 -> 2;
  1 -> 2;
}
